/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
package com.google.collabframework.texteditor.server;

import java.rmi.Remote;
import java.rmi.RemoteException;

/**
 *
 * @author robert
 */
public interface IDocServer extends Remote {

    void add(int line, int column, char c) throws RemoteException;

    String getText() throws RemoteException;

    int size(int i) throws RemoteException;

    int lineCount() throws RemoteException;

    void remove(int line, int column) throws RemoteException;
}
